Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
431	New Directions in Vector Space Models of Meaning Edward Grefenstette1 Karl Moritz Hermann1 Georgiana Dinu2 Phil Blunsom1 1 Dept Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-03-18 10:54:41 Semantics Philosophy of mathematics Philosophical logic Axiology Inference Mathematics Meaning Representation Logic Philosophy Science
432	Toward an Architecture for Never-Ending Language Learning Andrew Carlson1 , Justin Betteridge1 , Bryan Kisiel1 , Burr Settles1 , Estevam R. Hruschka Jr.2 , and Tom M. Mitchell1 1 School of Computer Science, Carnegie Mel Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-04-14 11:14:29 Semantics Machine learning Coupled pattern learner Natural language processing Learning Computational linguistics Predicate Word-sense disambiguation Truth Logic Science Linguistics
433	Microsoft Word - Inferentialism-Sofia.doc Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2012-05-27 04:13:34 Semantics Philosophy of language Logical syntax Metalogic Inferential role semantics Robert Brandom Meaning Formal proof Truth Logic Philosophy Philosophical logic
434	Step-Indexed Normalization for a Language with General Recursion Chris Casinghino Vilhelm Sj¨oberg Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Philosophy of language Philosophy of mind Semantics Linguistics Science Entailment Logic Interpretation Model theory
435	First-Order Loop Formulas for Normal Logic Programs ∗ Yin Chen Fangzhen Lin Yisong Wang Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-03-23 02:44:06 Propositional calculus Model theory Boolean algebra Interpretation Philosophy of mind Propositional formula First-order logic Stable model semantics FO Logic Mathematics Mathematical logic
436	Keeping your place: The role of the visual modality in reference tracking in sign and gesture Pamela Perniss Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2012-05-07 05:52:14 Linguistic modality Reference Analytic philosophy Philosophical logic Semantics Logic Gesture
437	On Odd and Even Cycles in Normal Logic Programs∗ Fangzhen Lin Xishun Zhao Department of Computer Science Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2004-04-15 10:24:46 Logic programming Stable model semantics Answer set programming NC First-order logic XTR Model theory Propositional calculus Logic Mathematical logic Theoretical computer science
438	Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-21 20:24:53 Mathematics Predicate transformer semantics Predicate logic Hoare logic Loop invariant Universal quantification Invariant Predicate Logic Mathematical logic Program logic
439	A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-09-04 14:06:26 Model theory Relational model Query languages Models of computation FO Finite model theory Null Kripke semantics SQL Logic Mathematical logic Mathematics
440	Formal Derivation of State-Rich Reactive Programs using Circus Marcel Vin´ıcius Medeiros Oliveira Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Computer science Logic in computer science Formal methods Programming language semantics Denotational semantics JCSP Circus Refinement calculus Unifying Theories of Programming Theoretical computer science Computing Concurrent computing

UPDATE